Combinational logic - PDFSEARCH.IO - Document Search Engine

Combinational logic
Results: 45

#	Item
41	ForSyDe tutorial Alfonso Acosta 2008-09-20 Revision 0.2 Revision 0.1 Add to Reading List Source URL: www.ict.kth.se Language: English - Date: 2010-01-19 04:21:34 Functional programming Digital electronics Electronic design automation Digital signal processing Type theory Haskell Combinational logic Type class Glasgow Haskell Compiler Software engineering Computing Electronic engineering
42	Combinational Equivalence Checking Using Satisfiability and Recursive Learning João Marques-Silva Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 13:36:52 Boolean algebra Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean satisfiability problem Conjunctive normal form Binary decision diagram Formal equivalence checking Theoretical computer science Mathematics Applied mathematics
43	MINIMALIST: An Environment for the Synthesis, Veri cation and Testability of Burst-Mode Asynchronous Machines Add to Reading List Source URL: www1.cs.columbia.edu Language: English - Date: 2001-02-12 18:19:59 Automata theory Finite-state machine Combinational logic Asynchronous circuit High-level synthesis Electronic engineering Digital electronics Electronic design automation
44	PDF Document Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2005-10-13 03:33:53 Mathematics Algebraic logic Boolean algebra Logic in computer science Canonical form Combinational logic XOR gate Digital electronics Negated AND gate Theoretical computer science Logic gates Mathematical logic
45	PDF Document Add to Reading List Source URL: instruct1.cit.cornell.edu Language: English Digital electronics Computing Hardware description languages Verilog Combinational logic Multiplexer Switch statement Decoder Flip-flop Electronic engineering Electronics Digital circuits

UPDATE